Amel Mammar: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

From a B formal specification to an executable code: application to the relational database domain

Amel Mammar, Régine Laleau

Journal:

Information and Software Technology

Year:

2006

Language:

english

File:

PDF, 1014 KB

english, 2006

2

A formal approach based on UML and B for the specification and development of database applications

Amel Mammar, Régine Laleau

Journal:

Automated Software Engineering

Year:

2006

Language:

english

File:

PDF, 472 KB

english, 2006

3

Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach

Tueno Fotso, Steve Jeffrey, Frappier, Marc, Laleau, Régine, Mammar, Amel

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 2.13 MB

english, 2019

4

A systematic approach to generate B preconditions: application to the database domain

Journal:

Software & Systems Modeling

Year:

2009

Language:

english

File:

PDF, 454 KB

english, 2009

5

Proving Reachability in B using Substitution Refinement

Marc Frappier, Fama Diagne, Amel Mammar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 229 KB

english, 2011

6

A systematic approach to integrate common timed security rules within a TEFSM-based system specification

Amel Mammar, Wissam Mallouli, Ana Cavalli

Journal:

Information and Software Technology

Year:

2012

Language:

english

File:

PDF, 690 KB

english, 2012

7

An advanced approach for modeling and detecting software vulnerabilities

Nahid Shahmehri, Amel Mammar, Edgardo Montes de Oca, David Byers, Ana Cavalli, Shanai Ardi, Willy Jimenez

Journal:

Information and Software Technology

Year:

2012

Language:

english

File:

PDF, 1.34 MB

english, 2012

8

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Verifying the Precedence Property Pattern Using the B Method

Mammar, Amel, Frappier, Marc

Year:

2014

Language:

english

File:

PDF, 221 KB

english, 2014

9

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Proving the Absence Property Pattern Using the B Method

Mammar, Amel, Frappier, Marc, Chane-Yack-Fa, Raphael

Year:

2012

Language:

english

File:

PDF, 200 KB

english, 2012

10

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Proving Non-interference on Reachability Properties: A Refinement Approach

Frappier, Marc, Mammar, Amel

Year:

2011

Language:

english

File:

PDF, 348 KB

english, 2011

11

[IEEE 2008 12th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT) - Vancouver, BC, Canada (2008.10.27-2008.10.29)] 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications - Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines

Mallouli, Wissam, Mammar, Amel, Cavalli, Ana Rosa

Year:

2008

Language:

english

File:

PDF, 408 KB

english, 2008

12

[IEEE 2012 IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE) - Dallas, TX, USA (2012.11.27-2012.11.30)] 2012 IEEE 23rd International Symposium on Software Reliability Engineering - An Assertions-Based Approach to Verifying the Absence Property Pattern

Frappier, Marc, Mammar, Amel

Year:

2012

Language:

english

File:

PDF, 410 KB

english, 2012

13

[IEEE 2014 19th International Conference on Engineering of Complex Computer Systems (ICECCS) - Tianjin, China (2014.8.4-2014.8.7)] 2014 19th International Conference on Engineering of Complex Computer Systems - A Behavior-Aware Systematic Approach for Merging Business Process Fragments

Zemni, Mohamed Anis, Mammar, Amel, Alouane, Nejib Ben Hadj

Year:

2014

Language:

english

File:

PDF, 169 KB

english, 2014

14

[IEEE 2009 16th Asia-Pacific Software Engineering Conference (APSEC) - Batu Ferringhi, Penang, Malaysia (2009.12.1-2009.12.3)] 2009 16th Asia-Pacific Software Engineering Conference - A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification

Mallouli, Wissam, Mammar, Amel, Cavalli, Ana

Year:

2009

Language:

english

File:

PDF, 222 KB

english, 2009

15

[ACM Press International Conference - Vienna, Austria (2013.12.02-2013.12.04)] Proceedings of International Conference on Information Integration and Web-based Applications & Services - IIWAS '13 - Process Decomposition Based on Semantics and Privacy-Aware Requirements-Driven Approach

Zemni, Mohamed Anis, Hadj-Alouane, Nejib Ben, Mammar, Amel

Year:

2013

Language:

english

File:

PDF, 102 KB

english, 2013

16

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - A formal framework to generate XPDL specifications from UML activity diagrams

Guelfi, Nicolas, Mammar, Amel

Year:

2006

Language:

english

File:

PDF, 357 KB

english, 2006

17

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - An overview of a proof-based approach to detecting C vulnerabilities

Year:

2011

Language:

english

File:

PDF, 297 KB

english, 2011

18

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - A proof-based approach to verifying reachability properties

Mammar, Amel, Frappier, Marc, Diagne, Fama

Year:

2011

Language:

english

File:

PDF, 483 KB

english, 2011

19

[IEEE 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Orlando, FL, USA (2016.1.7-2016.1.9)] 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Formal Development of a Secure Access Control Filter

Mammar, Amel, Nguyen, Thi Mai, Laleau, Regine

Year:

2016

Language:

english

File:

PDF, 361 KB

english, 2016

20

[IEEE 2014 21st Asia-Pacific Software Engineering Conference (APSEC) - Jeju, South Korea (2014.12.1-2014.12.4)] 2014 21st Asia-Pacific Software Engineering Conference - A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction

Mammar, Amel, Laleau, Regine

Year:

2014

Language:

english

File:

PDF, 254 KB

english, 2014

21

A formal validation of the RBAC ANSI 2012 standard using B

Huynh, Nghi, Frappier, Marc, Mammar, Amel, Laleau, Régine, Desharnais, Jules

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

22

Modeling a landing gear system in Event-B

Mammar, Amel, Laleau, Régine

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 1.07 MB

english, 2017

23

An automated approach for merging business process fragments

Zemni, Mohamed Anis, Mammar, Amel, Hadj-Alouane, Nejib Ben

Journal:

Computers in Industry

Year:

2016

Language:

english

File:

PDF, 2.04 MB

english, 2016

24

[IEEE 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA) - Crans-Montana, Switzerland (2016.3.23-2016.3.25)] 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA) - Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B

Boubaker, Souha, Mammar, Amel, Graiet, Mohamed, Gaaloul, Walid

Year:

2016

Language:

english

File:

PDF, 586 KB

english, 2016

25

Towards Correct Cloud Resource Allocation in Business Processes

Graiet, Mohamed, Mammar, Amel, Boubaker, Souha, Gaaloul, Walid

Journal:

IEEE Transactions on Services Computing

Year:

2016

Language:

english

File:

PDF, 2.66 MB

english, 2016

26

[IEEE 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS) - Grenoble, France (2016.6.1-2016.6.3)] 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS) - A tool for the generation of a secure access control filter

Mai Nguyen, Thi, Mammar, Amel, Laleau, Regine, Hameg, Samir

Year:

2016

Language:

english

File:

PDF, 1.86 MB

english, 2016

27

[IEEE 2016 IEEE International Conference on Web Services (ICWS) - San Francisco, CA, USA (2016.6.27-2016.7.2)] 2016 IEEE International Conference on Web Services (ICWS) - An Event-B Based Approach for Ensuring Correct Configurable Business Processes

Boubaker, Souha, Mammar, Amel, Graiet, Mohamed, Gaaloul, Walid

Year:

2016

Language:

english

File:

PDF, 486 KB

english, 2016

28

[IEEE 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS) - Grenoble, France (2016.6.1-2016.6.3)] 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS) - SGAC: A patient-centered access control method

Huynh, Nghi, Frappier, Marc, Pooda, Herman, Mammar, Amel, Laleau, Regine

Year:

2016

Language:

english

File:

PDF, 479 KB

english, 2016

29

A verification and deployment approach for elastic component-based applications

Graiet, Mohamed, Hamel, Lazhar, Mammar, Amel, Tata, Samir

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 5.18 MB

english, 2017

30

[IEEE 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - Singapore (2017.1.12-2017.1.14)] 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - Verification of SGAC Access Control Policies Using Alloy and ProB

Huynh, Nghi, Frappier, Marc, Mammar, Amel, Laleau, Regine

Year:

2017

Language:

english

File:

PDF, 260 KB

english, 2017

31

A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter

Mammar, Amel, Nguyen, Thi Mai, Laleau, Régine

Journal:

Information and Software Technology

Year:

2017

Language:

english

File:

PDF, 7.88 MB

english, 2017

32

[IEEE 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) - Lisbon, Portugal (2017.9.4-2017.9.8)] 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) - Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach

Tueno, Steve, Laleau, Regine, Mammar, Amel, Frappier, Marc

Year:

2017

Language:

english

File:

PDF, 847 KB

english, 2017

33

Parameterized verification of monotone information systems

Chane-Yack-Fa, Raphaël, Frappier, Marc, Mammar, Amel, Finkel, Alain

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 1023 KB

english, 2018

34

Towards correct cloud resource allocation in FOSS applications

Jlassi, Sindyana, Mammar, Amel, Abbassi, Imed, Graiet, Mohamed

Journal:

Future Generation Computer Systems

Year:

2019

Language:

english

File:

PDF, 1.31 MB

english, 2019

35

[IEEE 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Melbourne, VIC (2018.12.12-2018.12.14)] 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Back Propagating B System Updates on SysML/KAOS Domain Models

Tueno Fotso, Steve Jeffrey, Frappier, Marc, Laleau, Regine, Mammar, Amel

Year:

2018

File:

PDF, 793 KB

2018

36

[IEEE 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Melbourne, VIC (2018.12.12-2018.12.14)] 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Back Propagating B System Updates on SysML/KAOS Domain Models

Tueno Fotso, Steve Jeffrey, Frappier, Marc, Laleau, Regine, Mammar, Amel

Year:

2018

Language:

english

File:

PDF, 793 KB

english, 2018

37

Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach

Tueno Fotso, Steve Jeffrey, Frappier, Marc, Laleau, Régine, Mammar, Amel

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

File:

PDF, 2.13 MB

2019

38

SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy

Huynh, Nghi, Frappier, Marc, Pooda, Herman, Mammar, Amel, Laleau, Régine, Mitchell, Chris

Journal:

The Computer Journal

Year:

2019

Language:

english

File:

PDF, 3.49 MB

english, 2019

39

A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard

Mammar, Amel, Frappier, Marc, Tueno Fotso, Steve Jeffrey, Laleau, Régine

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 1.37 MB

english, 2019

40

SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy

Huynh, Nghi, Frappier, Marc, Pooda, Herman, Mammar, Amel, Laleau, Régine, Mitchell, Chris

Journal:

The Computer Journal

Year:

2019

File:

PDF, 3.49 MB

2019

41

A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard

Mammar, Amel, Frappier, Marc, Tueno Fotso, Steve Jeffrey, Laleau, Régine

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

File:

PDF, 1.37 MB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски